More from this Author

Challenges of Software Verification

by Vincenzo Arceri (Editor), Agostino Cortesi (Editor), Pietro Ferrara (Editor), Martina Olliaro (Editor)